8
Hybrid Systems IV

Hybrid Systems IV

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1997
زبان:
english
فائل:
DJVU, 4.97 MB
0 / 0
english, 1997
9
Hybrid Systems IV

Hybrid Systems IV

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1997
زبان:
english
فائل:
PDF, 26.84 MB
0 / 0
english, 1997
10
Hybrid Systems II

Hybrid Systems II

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1995
زبان:
english
فائل:
DJVU, 6.46 MB
0 / 0
english, 1995
12
Automata Theory and its Applications

Automata Theory and its Applications

Bakhadyr Khoussainov, Anil Nerode (auth.)
سال:
2001
زبان:
english
فائل:
PDF, 8.76 MB
0 / 0
english, 2001
13
Combinatorial Functors

Combinatorial Functors

J. N. Crossley, Anil Nerode (auth.)
سال:
1974
زبان:
english
فائل:
PDF, 4.27 MB
0 / 0
english, 1974
16
Hybrid Systems V

Hybrid Systems V

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1999
زبان:
english
فائل:
PDF, 5.00 MB
0 / 0
english, 1999
19
Hybrid Systems

Hybrid Systems

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)
سال:
1993
زبان:
english
فائل:
DJVU, 3.24 MB
0 / 0
english, 1993
21
Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)
سال:
1975
زبان:
english
فائل:
PDF, 12.48 MB
0 / 0
english, 1975